1. General recursion theory
پدیدآورنده: Jens E. Fenstad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
2. General recursion theory : an axiomatic approach
پدیدآورنده: Fenstad, Jens Erik.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
3. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده: / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972
4. Logic, methodology, and philosophy of science VIII
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
5. Logic, methodology, and philosophy of science VIII :
پدیدآورنده: edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic-- Congresses,Mathematics-- Philosophy-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1987
6. Logic, methodology, and philosophy of science VIII
پدیدآورنده: / edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Science--Philosophy--Congresses,Science--Methodology--Congresses,Logic--Congresses,Mathematics--Philosophy--Congresses
رده :
Q
,
174
,.
I58
,
1987
7. Logic, methodology and philosophy of science VIII : Proceedings of the International Congress of Logic, Methodology and Philosophy of Science, Moscow 1987
پدیدآورنده: edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic,Congresses ، Mathematics -- Philosophy
رده :
Q
174
.
I58
1987
8. Logic, methodology, and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
پدیدآورنده: \ edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: ریاضیات -- فلسفه -- کنگره ها
رده :
Q
174
.
I58
9. Proceedings of the Second Scandinavian Logic Symposium.
پدیدآورنده: Ed. by J.E. Fenstad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.
رده :
QA9
.
S32
1970
10. Selected works in logic
پدیدآورنده: / Th. Skolem
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
11. Situations, Language and logic
پدیدآورنده: / by Jens Erik Fenstad ... [et all]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Content (Linguistics),Semantics
رده :
P325
.
5
.
C65S58
1987
